#! /bin/bash
JUPITER=$1
shift
../$JUPITER $@ 2> /dev/null
